We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...) prevalent in this research area and their interrelationships are identified, presenting an outline of current efforts. Findings: Despite the descriptive analyses for the paper set, a framework is proposed for organizing the design-implementation factors of PMSs in nonprofit organizations, identifying the main requirements for their successful development. Originality/value: Investigation on performance measurement in nonprofit organizations is still in its early stages of development with many opportunities to further develop the field. Conceptual frameworks and models, as well as specific theories, are being generated for this field of research, and the process of adapting models from the general field of performance measurement is taking place. The meta-framework that organizes the main research topics of PMS in nonprofit organizations and the framework that consolidates factors that influence the design-implementation of PMSs in nonprofit organizations developed represents this paper contribution. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

The objectives of this study were to develop a high-density chromosome bin map of homoeologous group 7 in hexaploid wheat, to identify gene distribution in these chromosomes, and to perform comparative studies of wheat with rice and barley. We mapped 2148 loci from 919 EST clones onto group 7 chromosomes of wheat. In the majority of cases the numbers of loci were significantly lower in the centromeric regions and tended to increase in the distal regions. The level of duplicated loci (...) in this group was 24% with most of these loci being localized toward the distal regions. One hundred nineteen EST probes that hybridized to three fragments and mapped to the three group 7 chromosomes were designated landmark probes and were used to construct a consensus homoeologous group 7 map. An additional 49 probes that mapped to 7AS, 7DS, and the ancestral translocated segment involving 7BS also were designated landmarks. Landmark probe orders and comparative maps of wheat, rice, and barley were produced on the basis of corresponding rice BAC/PAC and genetic markers that mapped on chromosomes 6 and 8 of rice. Identification of landmark ESTs and development of consensus maps may provide a framework of conserved coding regions predating the evolution of wheat genomes. (shrink)

Code-based cryptography is currently the second most promising post-quantum mathematical tool for quantum-resistant algorithms. Since in 2022 the first post-quantum standard Key Encapsulation Mechanism, Kyber (a latticed-based algorithm), was selected to be established as standard, and after that the National Institute of Standards and Technology post-quantum standardization call focused in code-based cryptosystems. Three of the four candidates that remain in the fourth round are code-based algorithms. In fact, the only non-code-based algorithm (SIKE) is now considered vulnerable. Due to this landscape, (...) it is crucial to update previous results about these algorithms and their functioning. The Fujisaki-Okamoto transformation is a key part of the study of post-quantum algorithms and in this work we focus our analysis on Classic McEliece, BIKE and HQC proposals, and how they apply this transformation to obtain IND-CCA semantic security. Since after security the most important parameter in the evaluation of the algorithms is performance, we have compared the performance of the code-based algorithms of the NIST call considering the same architecture for all of them. (shrink)

Background: Discussing treatment risks has become increasingly important in medical communication. Still, despite regulations, physicians must decide how much and what kind of information to present. Objective: To investigate patients’ preference for information about a small risk of a complication of colonoscopy, and whether medical and personal factors contribute to such preference. To propose a disclosure policy related to our results. Design: Vignettes study. Setting: Department of Gastroenterology, Academic Medical Centre, the Netherlands. Patients: 810 consecutive colonoscopy patients. Intervention: A home-sent (...) questionnaire containing three vignettes. Vignettes varied in the indication for colonoscopy, complication severity and level of risk. Patients were invited to indicate their wish to be informed and the importance of such information. In addition, sociodemograhic, illness-related and psychological characteristics were assessed. Main outcome measurements: Wish to be informed and importance of information. Results: Of 810 questionnaires, 68% were returned. Patients generally wished to be informed about low-risk complications, regardless of the indication for colonoscopy or the severity of the complication. The level of risk did matter, though (OR = 2.48, SE = 0.28, p = 0.001). The information was considered less important if done for population screening purposes or diagnosis of colon cancer, if the complication was less severe (bleeding) and if the risk was smaller (0.01% and 0.1%). Patients’ information preference was also related to age, mood and coping style. Limitations: Difficulty of vignettes. Conclusions: Patients generally wish to be informed about all possible risks. However, this might become uninformative. A stepwise approach is suggested. (shrink)

Our sense of self includes awareness of our thoughts and movements, and our control over them. This feeling can be altered or lost in neuropsychiatric disorders as well as in phenomena such as “automatic writing” whereby writing is attributed to an external source. Here, we employed suggestion in highly hypnotically suggestible participants to model various experiences of automatic writing during a sentence completion task. Results showed that the induction of hypnosis, without additional suggestion, was associated with a small but significant (...) reduction of control, ownership, and awareness for writing. Targeted suggestions produced a double dissociation between thought and movement components of writing, for both feelings of control and ownership, and additionally, reduced awareness of writing. Overall, suggestion produced selective alterations in the control, ownership, and awareness of thought and motor components of writing, thus enabling key aspects of automatic writing, observed across different clinical and cultural settings, to be modelled. (shrink)

The objective of this work is to categorize the available fly ashes in different parts of the world into distinct groups based on its compositional attributes. Kohonen's self-organizing feature map and radial basis function networks are applied in a cascading fashion for the classification of fly ashes in terms of its chemical parameters. The basic procedure of the methodology consists of three stages: apply self-organizing neural net to ascertain possible number of groups, delineate them and identify the group sensitive attributes; (...) find mean values of sensitive attributes of the elicited groups and augment them as start-up prototypes in k-means algorithm and find the refined centroids of these groups; incorporate the centroids in a two layer radial basis function network and fine-tune the delineated groups and develop an indexing equation using the weights of the stabilized network. Further, to demonstrate the utility of this classification scheme, the so formed groups were correlated with their performance in High Volume Fly Ash Concrete System [HVFAC]. The categorization was found to be excellent and compares well with Canadian Standard Association's [CSA A 3000] classification scheme. (shrink)

ABSTRACTHumiliation lacks an empirically derived definition, sometimes simply being equated with shame. We approached the conceptualisation of humiliation from a prototype perspective, identifying 61 features of humiliation, some of which are more central to humiliation than others. Prototypical humiliation involved feeling powerless, small, and inferior in a situation in which one was brought down and in which an audience was present, leading the person to appraise the situation as unfair and resulting in a mix of emotions, most notably disappointment, anger, (...) and shame. Some of the features overlapped with those of shame whereas other features overlapped with those of anger. Which specific features are present may determine whether the humiliation experience becomes more shame- or anger-like. (shrink)

All projects take place within a context of uncertainty. That is especially noticeable in complex hydroelectric power generation projects, which are affected by factors such as the large number of multidisciplinary tasks to be performed in parallel, long execution times, or the risks inherent in various fields like geology, hydrology, and structural, electrical, and mechanical engineering, among others. Such factors often lead to cost overruns and delays in projects of this type. This paper analyzes the efficiency of the Earned Value (...) Management technique and its Earned Schedule extension, as means of forecasting costs and deadlines when applied to complex hydroelectric power production projects. It is worth noting that this analysis was based on simulation models applied to real-life projects. The results showed that cost forecasting becomes very accurate over time, whereas duration forecasting is not reliably accurate. (shrink)

Duties to future persons contribute critically to many important contemporaneous ethical dilemmas, such as environmental protection, contraception, abortion, and population policy. Yet this area of ethics is mired in paradoxes. It appeared that any principle for dealing with future persons encountered Kavka's paradox of future individuals, Parfit's repugnant conclusion, or an indefensible asymmetry. In 1976, Singer proposed a utilitarian solution that seemed to avoid the above trio of obstacles, but Parfit so successfully demonstrated the unacceptability of this position that Singer (...) abandoned it. Indeed, the apparently intransitivity of Singer's solution contributed to Temkin's argument that the notion of "all things considered better than" may be intransitive. In this paper, I demonstrate that a time-extended view of Singer's solution avoids the intransitivity that allows Parfit's mere addition paradox to lead to the repugnant conclusion. However, the heart of the mere addition paradox remains: the time-extended view still yields intransitive judgments. I discuss a general theory for dealing with intransitivity that was inspired by Temkin's sports analogy, and demonstrate that such a solution is more palatable than Temkin suspected. When a pair-wise comparison also requires consideration of a small number of relevant external alternatives, we can avoid intransitivity and the mere addition paradox without infinite comparisons or rejecting the Independence of Irrelevant Alternatives Principle. (shrink)

Some authors maintain that anti-intellectualism faces a general epistemic problem of explaining the cognitive aspect of know-how, and answering the question of why know-how as a kind of disposition is to be considered a distinct kind of knowledge. In the present paper, I argue for a solution to this problem, the central idea of which is that there is a broader sense of knowledge to which both knowledge-that and knowledge-how belong. I present two versions of this solution. According to the (...) first version, know-how is a distinct kind of knowledge since there is a general analyzable category of knowledge under which both know-how and know-that fall. This general category is analyzed into three components: a success component, an externalist anti-luck component, and an internalist anti-luck component. According to the second version of the solution, know-how is a distinct kind of knowledge since there is an unanalyzable analogical conception of knowledge that comes first in both the theoretical realm (as propositional knowledge) and the practical realm (as know-how). Both versions of the solution are plausible since they distinguish between know-how and knacks in an anti-intellectualist manner by positing that there is an internal relation between know-how and non-propositional intentionality. (shrink)

بالحرف نفهم الوجود، ونكتشفُ مُعَمَّيَاتِه وملابساته.فالوجود حرف، والحرف وجود، فهما معا يتماهيان، وهما معا يتبادلان الأدوار في مرآة الحياة والذاكرة والدين والأسطورة و المخيال، وفي فضاء الترميز بالقوة القَوَوِيَّةِ والتجريد المتعالي. وإذا كانت حبة الرمل تختزن الصحراء وتؤشر عليها، وقطرةُ الماء تختزل البحرَ وتومئ إليه، ونبضةُ العِطر تحوز الأزهارَ وتدل عليها، فإن الحرف هو كذلك يمثِّل كثافة الوجود في أعالي أعاليها، فهو الشجرة الرامزة إليه أونطولوجيا. إذْ من هذه الشجرة خرج الأمر الإلهي، فصار كونا ووجودا هو عبارة عن شجرة الكون (...) التي يُجَسِّد كل جزء من أجزائها حرَكِيَّةَ الوجود، وتوهجَ اختلافاته، وتناغمَ إيقاعاته، وتشابكَ دلالاته. إن الوجود حرف لا تكون الكتابة إلا به، والخلْق كتابة، والكتابة غرْسٌ، والغرس نفْسٌ، والنفْس وجود.وهكذا تبتدئ دائرة الوجود بالحرف وتنتهي به وإليه، فخلْقُ آدم وتركيبُه له دلالة على هذا المَنْحَى، فهو وسلالته يشبهان رمزيا في حياتهما حروفَ الأبجدية في بدايتها ونهايتها، فهما يدخلان إلى هذه الحياة على شكل ألِفٍ، ويخرجان منها على شكل ياءٍ.فالعِلم بالأسماء موضوع في قلب آدم، وتصْويرُها في صدره، وتعبيرها فيما بين حلْقه إلى شفتيه، فالقلبُ طَرَفٌ للعلْم، والصدر طَرَفٌ للتصاوير، والفم طَرَفٌ للتعبير. فالعالمُ في أول ظهورٍ له كان على صورة الإنسان، وصورة الإنسان هي صورة الحق. فصورتُه التي على صورة الحق تُؤَهِّلُه لمعرفة الحق من خلال معرفته لذاته الإنسانية. (shrink)

The vast majority of contributions to the literature on spirituality in nursing make extravagant claims about transcendence, eternity, the numinous, higher powers, higher levels of existence, invisible forces, cosmic unity, the essence of humanity, or other supernatural concepts. Typically, these assertions are made without the support of argument or evidence; and, as a consequence, alternative ways of theorizing ‘spirituality’ have been closed off, while the lack of consistent scholarship has turned the topic into a metaphysical backwater. In this paper, I (...) adopt a different premise, rejecting unsupported claims, and surveying the ‘spirituality’ terrain from a naturalistic and reductionist perspective. I argue that, if we rid ourselves of non‐naturalistic assumptions, we will discover theoretical and clinical resources in health psychology, social psychology, neuropsychology, and pharmacopsychology – resources which confirm that it is possible to conceptualize the study of existential concerns, and how health professionals might respond to them, in a properly scientific manner. In order to illustrate the potential usefulness of these resources, I will take palliative care as an example. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:69 WILLIAM ROBERTSON AND DAVID HUME: THREE LETTERS The relationship between David Hume and his fellow Scottish historian William Robertson has always seemed one-sided. Despite the existence of fifteen letters to Robertson in the standard volumes of Hume's correspondence,1 Hume scholars have long had reason to regret the lack of a single extant letter from Robertson to Hume. None are to be found, for example, where one would most (...) expect them to be — in the Royal Society of Edinburgh, alongside the letters to Hume from various other Moderate clergymen and literati in Robertson's circle, such as Hugh Blair and Adam Ferguson. Fortunately, however, two of Robertson's letters to Hume (numbered II and III below) have now turned up where one would not expect them to be — among Robertson's own correspondence in the Robertson2 Macdonald Papers, National Library of Scotland. They are not mere drafts, such as one is accustomed to find among an author's private papers; rather, they are autograph signed letters that appear to have actually been posted. How and when they found their way back to Robertson's personal papers, and what became of the rest of Robertson's letters to Hume, are questions open to speculation. For the moment we are grateful for the letters we now have, neither of which is known to have been published before in whole or in part. Nor has Hume been identified before as the recipient of either of these letters, though internal evidence makes it clear that he was. Both letters date from the late 1760s, when Hume was living in London and Robertson was at the peak of his multi-faceted career in Edinburgh as university principal, parish minister, ecclesiastical leader, and man of letters. The first of them, dated 27 March 1767, was sent to Hume in his capacity as under- 70 secretary of state in the Northern Department (an office he held from February 1767 to January 1768). It is plainly a reply to a letter of 19 March, in which Hume had discussed three topics to which Robertson was 5 responding: Robertson's efforts to secure a military chaplaincy for a certain Scottish minister (evidently named Brodie); Conway's role in the famous dispute between Hume and Rousseau; and the public response to Adam Ferguson's newly published Essay on the History of Civil Society. In addition Robertson addresses a matter that Hume had apparently broached with him at some earlier time: the attempt to find a suitable Scottish church to which Hume might obtain a crown presentation for his nephews' tutor, the Rev. Christopher Tait. The letter concludes on a note of admiration that is characteristic not only of Robertson but of most of Hume's other "Protestant Pastors" in Scotland. The second letter to Hume, dated 31 January 1769, is chiefly concerned with the forthcoming publication of Robertson's History of Charles V and the French translation of it by J.-B.-A. Suard — subjects that had been treated in two letters from Hume to 7 Robertson of autumn 1768. It also contains a strong recommendation for a bright young Scottish writer (in both the legal and literary senses of that term) who would one day become Robertson's most vitriolic critic: Gilbert Stuart. On the personal side, there is encouragement for the now unemployed Hume to return to Edinburgh, as he was then threatening to do, after his "great glut of society" at Paris and London, and there are allusions in the closing paragraph to Hume's part in introducing his friend to polite society when Robertson had visited London to arrange the publication of Charles V in the spring of 1768. 71 To these two letters from Robertson we have prefixed a third from earlier in the same decade, one Q not actually addressed to Hume but largely about him. Robertson wrote it to their common friend Gilbert Elliot (later Sir Gilbert Elliot) on 8 March 1762, two days before the Town Council elected Robertson principal of Edinburgh University. The first paragraph deals with the principalship and relates to Hume only indirectly, as we point out in a footnote. The second paragraph, however, contains interesting... (shrink)